翻訳と辞書
Words near each other
・ George E. Bell
・ George E. Bemi
・ George E. Blake
・ George E. Bowden
・ George E. Boysen
・ George E. Brennan
・ George E. Brunner
・ George E. Bryant
・ George E. Burch
・ George E. Burgess School-Notre Dame High School
・ George E. Burghard
・ George E. Bushnell
・ George E. Campsen III
・ George E. Clymer
・ George E. Coghill
George E. Collins
・ George E. Cooper
・ George E. Crothers
・ George E. Cryer
・ George E. Curry
・ George E. Cutler
・ George E. Danielson
・ George E. Davis
・ George E. Davis (Medal of Honor)
・ George E. Davis Medal
・ George E. de Silva
・ George E. Deatherage
・ George E. Dewar
・ George E. Diskant
・ George E. Dixon


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

George E. Collins : ウィキペディア英語版
George E. Collins
George E. Gollins (born January 10, 1928, Stuart, Iowa) is an American mathematician and computer scientist. He is the inventor of garbage collection by reference counting〔George E. Collins: A Method for Overlapping and Erasure of Lists, Commun. ACM, volume 3, number 12, 1960〕 and of the method of quantifier elimination by cylindrical algebraic decomposition.〔
George E. Collins: Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition, Second GI Conf. Automata Theory and Formal Languages, Springer LNCS 33, 1975〕
==Selected publications==


抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「George E. Collins」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.